This field of research aims at establishing a theoretical reference framework that allows for the design of controllers that guarantee the stability of completely non-linear general systems both in continuous and discrete time, and where the dynamics are not explicitly known. Within the activities carried out in the field of research, the necessary algorithms for the application of this theoretical framework to real cases are developed.